Kim G. Larsen: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (28)
가장 인기 있는
목록
- 목록
- 표

1

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

년:

2008

언어:

english

파일:

PDF, 17.08 MB

0 / 5.0

english, 2008

2

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

년:

2007

언어:

english

파일:

PDF, 1.86 MB

0 / 5.0

english, 2007

3

Fanconi Anemia: Guidelines for Diagnosis and Management, 3rd Edition

Fanconi Anemia: Guidelines for Diagnosis and Management, 3rd Edition

Fanconi Anemia Research Fund

Mary Ellen Eiler, Lynn Frohnmayer, Dave Frohnmayer, Kim Larsen and Joyce Owen

년:

2008

언어:

english

파일:

PDF, 2.21 MB

0 / 0

english, 2008

4

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

년:

1998

언어:

english

파일:

PDF, 6.24 MB

0 / 0

english, 1998

5

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Tim Willemse

년:

2019

언어:

english

파일:

PDF, 10.09 MB

0 / 0

english, 2019

6

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Springer-Verlag Berlin Heidelberg

Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)

년:

2015

언어:

english

파일:

PDF, 10.50 MB

0 / 0

english, 2015

7

Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

년:

2007

언어:

english

파일:

PDF, 1.97 MB

0 / 0

english, 2007

8

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)

년:

2013

언어:

english

파일:

PDF, 10.14 MB

0 / 5.0

english, 2013

9

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

년:

2007

언어:

english

파일:

PDF, 1.92 MB

0 / 0

english, 2007

10

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (eds.)

년:

2016

언어:

english

파일:

PDF, 5.17 MB

0 / 0

english, 2016

11

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Colin Sterling (auth.), Kim G. Larsen, Arne Skou (eds.)

년:

1992

언어:

english

파일:

DJVU, 4.42 MB

0 / 0

english, 1992

12

Sustainable Energy Systems Planning, Integration and Management

Sustainable Energy Systems Planning, Integration and Management

Mohammad Shahidehpour, Kim Guldstrand Larsen, Somayeh Asadi, Behnam Mohammadi-ivatloo, Amjad Anvari-Moghaddam

년:

2020

언어:

english

파일:

PDF, 37.26 MB

0 / 5.0

english, 2020

13

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

년:

2021

언어:

english

파일:

PDF, 13.20 MB

0 / 5.0

english, 2021

14

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

년:

2021

언어:

english

파일:

PDF, 8.58 MB

0 / 5.0

english, 2021

15

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

년:

2008

언어:

english

파일:

PDF, 17.06 MB

0 / 0

english, 2008

16

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Springer International Publishing

Tiziana Margaria, Susanne Graf, Kim G. Larsen

년:

2019

언어:

english

파일:

PDF, 19.57 MB

0 / 0

english, 2019

17

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)

년:

2017

언어:

english

파일:

PDF, 10.61 MB

0 / 0

english, 2017

18

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)

년:

2013

언어:

english

파일:

PDF, 9.36 MB

0 / 0

english, 2013

19

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

년:

2004

언어:

english

파일:

PDF, 3.62 MB

0 / 0

english, 2004

20

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

년:

2002

언어:

english

파일:

PDF, 9.30 MB

0 / 0

english, 2002

21

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)

년:

2001

언어:

english

파일:

PDF, 6.58 MB

0 / 0

english, 2001

22

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)

년:

2002

언어:

english

파일:

PDF, 5.33 MB

0 / 0

english, 2002

23

Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)

년:

1995

언어:

english

파일:

PDF, 11.61 MB

0 / 0

english, 1995

24

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

년:

2002

언어:

english

파일:

PDF, 5.01 MB

0 / 0

english, 2002

25

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

년:

2004

언어:

english

파일:

PDF, 3.06 MB

0 / 0

english, 2004

26

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)

년:

2002

언어:

english

파일:

PDF, 7.09 MB

0 / 0

english, 2002

27

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

Springer-Verlag London

Jens Chr. Godskesen, Kim G. Larsen (auth.), S. Purushothaman PhD, Amy Zwarico (eds.)

년:

1993

언어:

english

파일:

PDF, 10.33 MB

0 / 0

english, 1993

28

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

CONCUR 2001 — Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Bengt Jonsson (auth.), Kim G. Larsen, Mogens Nielsen (eds.)

년:

2001

언어:

english

파일:

PDF, 9.56 MB

0 / 0

english, 2001